Detection of Multiple Faults in Two-Dimensional ILAs

We provide test sets proportional to the sum of the two dimensions of the array for a large class of cells, which allow us to test rows (or columns) of cells of the array independently. Constant length test sets for array multipliers have been found under the single faulty cell model if the array is modiied and otherwise test sets are proportional to the number of cells. We can verify the full adder array of a combinational n m multiplier in O(n + m) tests under the Multiple Faulty Cell (MFC) model. The entire multiplier, including the AND gates which generate the summands, can be veriied after applying the same modiications which make the multiplier C-testable under the single faulty cell model.